Designing Safety-Critical Computer Systems

نویسنده

  • William R. Dunn
چکیده

40 Computer Designing Safety-Critical Computer Systems T he ubiquitous computer is firmly established as the electronic component of choice for designing systems that control safety-critical applications. Such applications can be found everywhere: aircraft fly-by-wire controls, oil and chemical processing, hospital life-support systems, manufacturing robotics, and countless other commercial and industrial applications. As this century matures, developers will increasingly exploit computing's power in safety-critical applications that directly touch us all: steer-by-wire automotive systems, automated air-and surface-traffic control, powered prosthetics, and so on. However, these computer-based systems raise the ongoing concern that they might fail and cause harm. Indeed, past computer failures have produced catastrophic results, most famously the notorious Therac 25, a therapeutic computer system intended to heal but which inadvertently killed and maimed patients before being forced off the market. 1 The safety of computer-based systems is of long-standing and continuing interest to computing professionals. As research continues in this area, proposed system concepts and architectures— deemed safe by their developers—have been found to be impractical for real-life engineering applications that can place lives, property, or the environment at risk. Such dependable, seemingly safe, concepts and structures fail in practice for three primary reasons: Their originators or users • have an incomplete understanding of what makes a system " safe, " • fail to consider the larger system into which the implemented concept is to be embedded, or • ignore single points of failure that will make the safe concept unsafe when put into practice. Reviewing the fundamental definitions and concepts of system safety provides a framework for addressing these shortcomings. Exploring the systematic design of safety-critical computer systems in engineering practice helps to show how engineers can verify that these designs will be safe. The notion of safety is most likely to come to mind when we drive a car, fly on an airliner, or take an elevator ride. In each case, we are concerned with the threat of a mishap, which the US Department of Defense defines as an unplanned event or series of events that result in death, injury, occupational illness , damage to or loss of equipment or property, or damage to the environment. 3 The mishap risk assesses the impact of a mishap in terms of two primary concerns: its potential severity and the probability of its occurrence. 3 For example , an airliner crash would affect an individual more severely than an automobile fender-bender, …

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Voting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems

some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...

متن کامل

Voting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems

some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...

متن کامل

Designing safety-critical systems: A Convergence of Technologies

A brief overview of the fields that must be considered when designing safety-critical systems is presented. Proper application of these fields allows a holistic (dependability achieved at all system levels) approach for designing safety-critical systems. The fields to be considered are: application domain, embedded systems, protocol and networks, safety and reliability, real-time, and systems e...

متن کامل

An Augmented Framework for Formal Analysis of Safety Critical Systems

This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the one of ways to develop SCSs for accomplishing critical and complex function what SCSs are supposed to do. Two model driven approaches: Unified Modeling Language (UML) and Formal Meth...

متن کامل

Supporting Formal Reasoning for Safety Critical Systems

Formal methods can signiicantly assist in the design and modelling of safety-critical systems. However, formal methods are frequently criticised as being unusable through being too complex and requiring expert knowledge to use. We assert that to make formal methods usable they must be able to be presented in a manner which is readily interpretable. However, we must ensure that the inferences wh...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IEEE Computer

دوره 36  شماره 

صفحات  -

تاریخ انتشار 2003